package edu.pku.sei.mte.exceptions.handler;

import edu.pku.sei.mte.runtime.Environment;

public interface ExceptionHandler {
	public void handle(Exception ex) throws Exception;
	
	public void setEnvironment(Environment env);
	
	public Environment getEnvironment();
	
	public void retry() throws Exception;
	
	public void interrupt() throws Exception;
	
	public void moveon() throws Exception;
	
	public void printExceptionInfo(Exception ex);
	
	public void printCustomInfo(String s);
}
